#include<stdio.h>  
#include<string.h>  
  
int main()  
{  
    int flag=0,digit=0,i,n=0;
	long long a[100];  
    char b[1000];  
    scanf("%s",&b);
	for(i=0;b[i]!='\0';i++)  
    {  
        while((b[i]>='0')&&(b[i]<='9'))  
        {  
            flag=1; 
            digit=digit*10+b[i]-'0';  
            i++;  
        }  
        if(flag==1)  
        {  
            a[n]=digit;  
            n++;  
            digit=0;  
            flag=0;  
        }  
    }  
    printf("%d||",n);  
    for(i=0;i<n;i++)   
        printf("%lld ",a[i]);
    if (n==0)
    	printf("NULL");
    printf("\n");
	return 0; 
}  
